A free logic with simple and complex predicates.
نویسندگان
چکیده
منابع مشابه
Jaminjung Simple and Complex Predicates in a Cross-linguistic Perspective
In this thesis, I have investigated the properties of simple and complex verbs in Jaminjung and Ngaliwurru, two varieties of a typologically unusual Australian language. Its unusual characteristic is that two distinct lexical categories take over the functions that verbs have in most other languages. One of these is a closed class consisting of only 30 members or so. Since these roots take verb...
متن کاملQualified Logic Programming with Bivalued Predicates
Research on the field of uncertainty in logic programming has evolved during the last 25 years. In a recent paper [13] we have revised a classical approach by van Emden’s to Quantitative Logic Programming [19], generalizing it to a generic scheme QLP(D) for so-called Qualified Logic Programming over a parametrically given domain D, whose elements play the role of generalized truth values and ca...
متن کاملConstructing Logic Programs with Higher-Order Predicates
This paper proposes a logic programming approach based on the application of a system of higher-order predicates put at disposal within ordinary logic programming languages such as prolog. These higher-order predicates parallel the higher-order functionals or combinators which form an established part of contemporary functional programming methodology. The suggested toolbox of higher-order pred...
متن کاملFunctional Logic Programs with Dynamic Predicates
In this paper we propose a new concept to deal with dynamic predicates in functional logic programs. The definition of a dynamic predicate can change over time, i.e., one can add or remove facts that define this predicate. Our approach is easy to use and has a clear semantics that does not depend on the particular (demand-driven) evaluation strategy of the underlying implementation. In particul...
متن کاملLogic of Predicates with Explicit Substitutions
We present a non-commutative linear logic | the logic of predicates with equality and explicit substitutions. Thus, the position of linear logic with respect to the usual logic is given a new explanation. 1 The world according to Girard A recent introduction to linear logic, cf. 13], starts with the following explanation of the position of usual logic with respect to the linear. Linear logic is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1986
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636615